Imperative logic - PDFSEARCH.IO - Document Search Engine

Imperative logic
Results: 39

#	Item
11	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
12	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
13	The Hidden Logic of Business Performance …From Understanding to Results Excerpts from The Concours Group Boardroom Imperative on The Hidden Logic of Business Performance Add to Reading List Source URL: colchesterconsultinggroup.com Language: English - Date: 2013-08-27 11:32:31 Strategic management Business model Management Business Unspoken rule
14	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-20 11:43:30 Sudoku NP-complete problems Sudoku algorithms Mathematics of Sudoku Mathematics Recreational mathematics Logic puzzles
15	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
16	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Programming paradigms Imperative programming Programming language Prolog Lisp Logic programming Functional programming Procedural programming Object-oriented programming Software engineering Computing Computer programming
17	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
18	Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-01-06 10:40:05 Mathematics Logic Metalogic Model theory Structure
19	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
20	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic

UPDATE